Paul Taylor

Results: 290



#Item
41

Subspaces in Abstract Stone Duality Paul Taylor August 11, 2003 Abstract By abstract Stone duality we mean that the topology or contravariant powerset functor, seen as a self-adjoint exponential Σ(−) on some category,

Add to Reading List

Source URL: www.monad.me.uk

Language: English - Date: 2009-02-12 13:03:25
    42

    The Dedekind Reals in Abstract Stone Duality Andrej Bauer and Paul Taylor 3 June 2009 Abstract Abstract Stone Duality (ASD) is a direct axiomatisation of general topology, in contrast to the traditional and all other con

    Add to Reading List

    Source URL: www.monad.me.uk

    Language: English - Date: 2009-06-03 17:25:38
      43

      Performing Arts Workshop’s Sites ServedArtists-in-Communities & Artists-in-School Sites Dr. Charles R. Drew Alternative Elementary Edward Robeson Taylor Elementary School * Garfield Elementary School Paul Re

      Add to Reading List

      Source URL: www.performingartsworkshop.org

      Language: English - Date: 2015-12-07 21:23:16
        44

        The Fixed Point Property in Synthetic Domain Theory Paul Taylor 1991 Abstract We present an elementary axiomatisation of synthetic domain theory and show that it

        Add to Reading List

        Source URL: www.monad.me.uk

        Language: English - Date: 2009-02-13 17:08:23
          45

          Sober Spaces and Continuations Paul Taylor August 5, 2003 Abstract A topological space is sober if it has exactly the points that are dictated by its open sets. We explain the analogy with the way in which computational

          Add to Reading List

          Source URL: www.monad.me.uk

          Language: English - Date: 2009-02-12 13:02:39
            46

            Geometric and Higher Order Logic in terms of Abstract Stone Duality Paul Taylor Abstract The contravariant powerset and its generalisations ΣX to the lattices of open subsets of a locally compact topological space and o

            Add to Reading List

            Source URL: www.monad.me.uk

            Language: English - Date: 2011-04-11 06:46:45
              47

              Tychonov’s Theorem in Abstract Stone Duality Paul Taylor 24 September 2006 Abstract New constructive definition of compactness in the form of the existence of a continuous ”universal quantifier”. Construction and c

              Add to Reading List

              Source URL: www.monad.me.uk

              Language: English - Date: 2009-02-12 13:26:18
                48

                Interval Analysis Without Intervals Paul Taylor 20 February 2006 Abstract We argue that Dedekind completeness and the Heine–Borel property should be seen as part of the “algebraic” structure of the real line, along

                Add to Reading List

                Source URL: www.monad.me.uk

                Language: English - Date: 2009-02-12 13:25:28
                  49

                  The Existential Quantier in Equideductive Logic (rst incomplete draft) Paul Taylor 12 January 2011

                  Add to Reading List

                  Source URL: www.paultaylor.eu

                  Language: English - Date: 2011-01-13 12:36:42
                    50

                    Subspaces in Abstract Stone Duality Paul Taylor August 11, 2003 Abstract By abstract Stone duality we mean that the topology or contravariant powerset functor, seen as a self-adjoint exponential Σ(−) on some category,

                    Add to Reading List

                    Source URL: www.paultaylor.eu

                    Language: English - Date: 2009-02-12 13:03:25
                      UPDATE